Lawson Topology in Continuous Lattices1
نویسنده
چکیده
Let S, T be semilattices. Let us assume that if S is upper-bounded, then T is upper-bounded. A map from S into T is said to be a semilattice morphism from S into T if: (Def. 1) For every finite subset X of S holds it preserves inf of X . Let S, T be semilattices. Observe that every map from S into T which is meet-preserving is also monotone. Let S be a semilattice and let T be an upper-bounded semilattice. One can verify that every semilattice morphism from S into T is meet-preserving. Next we state a number of propositions:
منابع مشابه
Geometric theories of patch and Lawson topologies
We give geometric characterisations of patch and Lawson topologies in the context of predicative point-free topology using the constructive notion of located subset. We present the patch topology of a stably locally compact formal topology by a geometric theory whose models are the points of the given topology that are located, and the Lawson topology of a continuous lattice by a geometric theo...
متن کاملLower semicontinuous functions with values in a continuous lattice
It is proved that for every continuous lattice there is a unique semiuniform structure generating both the order and the Lawson topology. The way below relation can be characterized with this uniform structure. These results are used to extend many of the analytical properties of real-valued l.s.c. functions to l.s.c. functions with values in a continuous lattice. The results of this paper have...
متن کاملCore spaces, sector spaces and fan spaces: a topological approach to domain theory
We present old and new characterizations of core spaces, alias worldwide web spaces, originally defined by the existence of supercompact neighborhood bases. The patch spaces of core spaces, obtained by joining the original topology with a second topology having the dual specialization order, are the so-called sector spaces, which have good convexity and separation properties and determine the o...
متن کاملPriestley powers of lattices and their congruences . A problem of E . T .
Abstract. Let L be a lattice and M a bounded distributive lattice. Let ConL denote the congruence lattice of L, P (M) the Priestley dual space of M , and L (M) the lattice of continuous order-preserving maps from P (M) to L with the discrete topology. It is shown that Con(L ) ∼= (ConL) P (ConM) Λ , the lattice of continuous order-preserving maps from P (ConM) to ConL with the Lawson topology. V...
متن کاملLawson topology of the space of formal balls and the hyperbolic topology
Let (X, d) a metric space and BX = X × R denote the partially ordered set of (generalized) formal balls in X. We investigate the topological structures of BX, in particular the relations between the Lawson topology and the product topology. We show that the Lawson topology coincides with the product topology if (X, d) is a totally bounded metric space, and show examples of spaces for which the ...
متن کامل